projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d03dd07) | patch
comp: Propagate pre slot access type check
authorAndrea Corallo <akrl@sdf.org>
Wed, 17 May 2023 16:00:24 +0000 (18:00 +0200)
committerAndrea Corallo <akrl@sdf.org>
Tue, 23 May 2023 14:39:06 +0000 (16:39 +0200)
commit6c781b5d252057e04c612d0a2e3e10b91a1cfa96
tree5d239fb514ec0224652dfe10bcd79fb281fdec0etree | snapshot
parentd03dd07774acfa690e5b63a7dbf81fb319aeedf4commit | diff
comp: Propagate pre slot access type check

* lisp/loadup.el (max-lisp-eval-depth): Increase
`max-lisp-eval-depth' to 3400.

* lisp/emacs-lisp/comp.el (comp-add-cond-cstrs): Pattern match pre
slot access type check and add constraint.

* lisp/emacs-lisp/comp-cstr.el (comp-cstr-cl-tag-p)
(comp-cstr-cl-tag): New functions.

* lisp/emacs-lisp/comp.el (make-comp-mvar): Add neg parameter.
lisp/emacs-lisp/comp-cstr.el diff | blob | history
lisp/emacs-lisp/comp.el diff | blob | history
lisp/loadup.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.